initial writing interpreter: replacing doubles by TypedValue