add toplevel plus() and times() functions for #165