$ rustc cast.rs 
$ ./cast 
円周 = 62.800000000000004