Consider this:

(%i1) float((2^60-1)/(2^60))-1;

(%o1) - 1.1102230246251565E-16

I think it should be:

‘0’

Mit freundlichen Grüßen

Ludwig Selmaier

E-Mail: LSelmaier@automaten-seitz.de