Fix 32-bit issue in vector4_to_value()