That's a problem with the specification of sort, not with javascript using double by default. But yeah, that sort example is seriously bonkers.