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.