williamr@0: float.h