T13470.hs:7:21: error: [GHC-76037] Not in scope: ‘not’

T13470.hs:11:11: error: [GHC-76037] Not in scope: ‘nan’

T13470.hs:16:12: error: [GHC-76037]
    Not in scope: ‘x12345’
    Suggested fix: Perhaps use ‘x123456’ (line 16)