Ron de Bruijn wrote:
How can I select the integral part of a float without going via the string type (which appears to be the only way in which is it possible to do it now)?
What a strange coincidence! Just over the weekend I published a changeset to allow that. See the new section of basis.urs beginning with "(** * Floats *)".
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
