add a workaround to javascript precision errors