Fixed code to treat totally real number fields.
Use fork instead of alarm to kill process.