0.0
Basically, divides by 60000 and adds a ".0" if necessary. Brawl hitbox radius and position (plus several other non-hitbox things, like frames) aren't saved as decimal numbers; this does the conversion.