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