I don't think the `// 1` does anything here since casting to int truncates. Or does it?