It is now recursive, and I have added tests into test_fixed_dim.cpp.