Returns true if this is a radical expression, false otherwise.
Returns true if this is a radical expression, false otherwise.
This returns an Int k s.
This returns an Int k s.t. 2^k <= the value this is bounding.
This returns an int k s.
This returns an int k s.t. 2^k >= the value this is bounding.
A mixin for the SeparationBound that implements the BMFSS bound.