higher bound on a

float less float wise float head float✕