I had a friend who worked on it: he called it simply "decimal floating" because there was no point :)