Decode value of DW_AT_const_value whose DIE has a pointer type
Decode DW_AT_const_value with a float encoding and a block form as block

- Ideally we'd decode this as float, but that's a can of worms that
  needs a closer look.  Add a TODO item for this.
Do not bail out completely when the execution engine throws an exception