hashOf: float portability fix