[FP64] value inf