OFDate: Avoid useless float -> double cast