Use binding API in REPL, add a Math module