Corretto cast a 64 bit