Idk why "high(uint64)" doesn't work, but you could try 
"18446744073709551615.0'f64" instead of "float64(high(uint64))".

Reply via email to