(Probably not as optimal since it can lead to de-optimisation when we actually need a PyFloat result.)
Attach a file by drag & drop or click to upload
