guard shrink-factor division against floating-point near-zero

guard shrink-factor division against floating-point near-zero #3197