bug fixes for float in inline formatting