No.12409129 ViewReplyOriginalReport
A daring synthesis

0.23587625 = 0.235,876,25

Commas *after* the decimal point.