Numerical cognition and mathematical realism