[uClibc]question about 'difftime' and HAS_FLOATS = no

[Manuel Novoa III]

To anyone this affects,

Since difftime returns a double, should it be disabled if HAS_FLOATS == no?
If so, should we supply an alternate function to replace it in that case?

Manuel