bug: float formatting