In 0.13 this can be made much neater thanks to the `.value` macro.