rename variable DOUBLE_EPSILON to DOUBLE_EPS
Authored by: ebmarin 2001-05-17
Parent: [r211]
Child: [r213]