Floating operations on the EDSAC