Math for Real: How Much Time Will Lena Save?