On Thu, Nov 06, 2014 at 06:17:40PM +0100, Havard Eidnes wrote: > These sound like modernish floating functions, and they're apparently > not part of our math library (yet). They are in -current. Martin