ObjectProxy: numeric types