float.sat