Commit 0d2f985bb2c805b8a53e447b3e8b5f78d5563047

muji 2023-09-07T12:41:23

Tidy unnecessary cast.