RE: Diagonal of a square with side 5: not square root of 5