Mixed decimal

смешанная десятичная дробь

Англо-русский политехнический словарь