in plato.Input ToUint64F2.in
xfail