UHC prints `1.0` as `1`

[asr]

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.

[asr]

Blocking agda/agda#2359.