remove unneeded int64 cast here and in the examples below