Нет, на питоне уже что-то есть, стоит продолжать использовать его.

Я не за этим. Вот статья про https://habr.com/ru/post/462385/ другие флоатские числа. Мой ЯП, Laisi, имеет тип fNeM, где N и M это количество бит общее и для экспоненты соответственно. Это типа для чисел, подобные IEEE754. Учитывая такие тенденции, наверное надо сделать типа fN, где экспонента будет выбираться автоматически или вовсе заменяться не IEEE754-подобным типом, как этот posit.
Ещё я хочу добавить слово unsigned. Например, функция факториала может принимать int, но нельзя брать факториал от отрицательного числа, тогда пусть он будет принимать unsigned int, это будет тот же тип, но компилятор не будет компилировать, если пересылается отрицательное число. Или исключение будет.