bigfloats do not currently have a negative zero because the sign of the bigfloat is the sign of the "mantissa", which is an integer. The need for the negative zero may be less pressing for representations which (practically speaking) cannot underflow. That is, very very small negative numbers like -1.0b-1000 are OK. RJF