JavaScript number to JAVA int format