10 February 2006 Sylvain Pion
- Move Root_of_2 to Number_types.