Are you sure ? Sorry , not meaning to doubt your words there.
Yeah well two , twelve point two five times two is twenty five ,
Right.  Are they really going to quibble about ten P_ ? Or point zero one of a Euro ?
It's twelve point five maybe , then.