VERIFICATION OF FIXED-POINT ARITHMETIC Application WO-2018127568-A1 World Intellectual Property Organisation (WIPO) 12 Jul 2018