Make sure frexp() returns correct for argument 0.0