[Sanddancer]

Decisions made when javascript was being written. Certain functions were decided to be more non-numeric than what the floating point spec called for.