> The signature for Real.fromLarge seems OK. > But the implementation is: > > fun fromLarge x = x > > which should be more like: > > fun fromLarge rounding x = x Yes. Thanks for the report. This is fixed in our internal working version.