[Ada] Avoid implicit use of software double in floating-point conversions

[Duncan Sands]

+/* For efficient float-to-int rounding, it is necessary to know whether
+   floating-point arithmetic on may use wider intermediate results.

on may use -> may use (?)

Ciao,

Duncan.