Ketrew API : Ketrew_pervasives.Float