Nevermind, this was related to my first erroneous assumption that we have a precision error.