(*) Use floats instead of doubles.