Playing with huge roman numerals in the REPL