{"type":"rich","version":1.0,"title":"@extra-bigint/floor-div","width":1713,"html":"<a href=\"https://asciinema.org/a/343058\" target=\"_blank\"><img alt=\"@extra-bigint/floor-div\" src=\"https://asciinema.org/a/343058.png\" width=\"1713\"></a>","height":568,"author_name":"wolfram77","author_url":"https://asciinema.org/~wolfram77","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":568,"thumbnail_url":"https://asciinema.org/a/343058.png","thumbnail_width":1713}