Defined the arithmentic constant epsilon/0.
Authored by: pmoura 2010-09-25
Parent: [r6739]
Child: [r6741]