include PositiveFloat