Yes, if only there was a simpler way, sigh! Although, a longer term solution would be to support decimals and positive-decimals in jelly. We can raise a feature request for now.