Update decimal.h