Make numbers in problem more mathy

Auditors: eater