Apparently I was wrong about when Hopscotch rounds numbers by Petrichor.