Fix incorrect rounding with subnormal/zero results of float multiplication
use define_rust_probestack;