[FP64] value -inf