IEEE 754 in GPC