mixed decimal

A number, such as 7.125, consisting of an integer (in this case, 7) plus a decimal (0.0125).