pub fn sub_pos(a: Pos, b: Pos) -> Vec3
a - b, demoted to float. The primary precision boundary operation.