UHC prints 1.0 as 1 #89
Description
When printing 1.0:
UHC 1.1.9.4 prints: 1.000000
UHC 1.1.9.5 prints: 1
Is it the expected behaviour?
FWIW, GHC 8.0.1 prints 1.0.
{{ message }}
UHC prints
1.0 as 1 #89When printing 1.0:
UHC 1.1.9.4 prints: 1.000000
UHC 1.1.9.5 prints: 1
Is it the expected behaviour?
FWIW, GHC 8.0.1 prints 1.0.