[polyml] 'Make_unsigned' was not declared in this scope