Use jsnums, hence fix #6