Sure, but what I'm getting at is that RAX does not have a type If we write that Quake 3 "fast" inverse square root, the machine code does not have any casting

Sure, but what I'm getting at is that RAX does not have a type If we write that Quake 3 "fast" inverse square root, the machine code does not have any casting or type changes, but the C does and the Rust does, because in machine code the operations were typed but in these high level languages the values were typed.