fractional theorem numbers; see #601