making boxes properly from Real is a TODO