Assertion list for term "used to encode floats".

Results from Ascent++: 1
bit ReceivesActionused to encode floats 0.40