higher bound on a
float boat ___