As bitwise_not and invert doesn't have the same behaviour in all cases, I think it is normal not to have a FPROXY.