// BUG: Three numeric errors