On numerical simulation of partial differential equations in infinite precision - Imai, Hitoshi.