make C printf output conform to 1.18lf standard

Prof. Holliday requires 18 digits after the decimal for all floating point output