Assertion list for term "nonzero fractional part".
Results from Ascent++: 1
real number → HasA → nonzero fractional part 0.46