rewrite cvt_fp_to_int_overview.mdwn to be more like a specification.