Edit: decimal.h