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 *)".