stop being bothered by javascript float precision