Compilation error when using negative floats

[asr]

main :: IO ()
main = do
  print 42.3
  print (-42.3)

The above example generates the following error (with UHC 1.1.9.4 and UHC 1.1.9.5):

$ uhc --version
ehc-1.1.9.5, revision @, timestamp 20161223 -0500 151248

$ uhc Test.hs
[1/1] Compiling Haskell                  Test                   (Test.hs)
EH analyses: Type checking
Test.hs:2-5:
  Predicates remain unproven:
    preds: UHC.Base.Fractional Integer
             at   : Test.hs:5:11
             trace: (UHC.Base.Fractional Integer,<0>,Test.hs:5:11): FAIL

[asr]

I could fix the problem by adding a type signature, i.e.

print (-42.3 :: Double)

so I'm closing the issue.