> proc() HFloat(infinity) end();
                            HFloat(infinity)