coercions http://www.openmath.org/cd/coercions.ocd 1999-11-01 experimental 1999-10-20 1 1 cc omtypes Coercion Functions among OM Types Initial version: O. Caprotti int2flt The function that converts an integer to a float. 1 is well-typed object.