Thinking longer about Alpha's imprecise faults made me realize that signaling NaNs can be quite useful in such case