Numbers on freeway off-ramp signs actually do add up