Assertion list for term "represented as a double-precision floating point number".
Results from Ascent++: 1
value (aspect of parameter) → ReceivesAction → represented as a double-precision floating point number 0.25