Use double for jso_int overflows