The C51 can't support double(8-byte) variable. Does anyone know the third party liberary to support this function?