@fraca7@social.linux.pizza @rnd@toot.cat I wouldn't call this integer, but yes ;-)