Small rename of vm_int_t and vm_float_t to vmint and vmfloat