In this case, the added precision isn't actually important, but in other cases it has proved necessary. I'll switch it to `str` here