HomeIsabelle/Phabricator

Convert int directly to Real32.real rather than via Real.real. Implement…