a preservation failure related to bad bounds after more precision