Function rule_width 

pub fn rule_width(pattern: &Term) -> u32

The width a rule works in, taken from the suffix on its pattern’s opcode.

A float rule works in the width of its format, which is the number in the suffix as well. Nothing scales it, so the only thing that number does for a float rule is stand as the width any integer term inside it takes when nothing says otherwise.