In PortalShape::getRelativePosition
an unnecessary conversion from double to float leads to excessive rounding of the position you end up when going through a portal.
Reproduction steps:
Open the attached world
Click the minecart to position the player at 8000000.5 8000000.5
You get teleported to 1000000.5 1000000.348 instead of 1000000.5 1000000.5
质量安全