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