Using Real Primitive Types in External Functions
As external functions can use any of the standard external floating point types, you must specify the size of the real in the parameter definition. A four-byte
As the JADE Real primitive type maps internally to a double (8-byte real), conversion to real[4] may result in loss of precision.