Fix javascript precision fault