I strongly prefer decimal fixpoints as well, despite being slower; that's what I'm doing in Snigl.