higher bound for sin
is a float boat ___