Negative Integer Understanding: Characterizing First Graders' Mental Models | Synapse