La conversión a hexadecimal por el procesador es 4.195.835 = 0x4005FB y 3.145.727 = 0x2FFFFF.