And each of those sampling methods is exactly a function

    Double -> Int

Which is also exactly why having an int type is important. It otherwise becomes much harder to talk about the meaning of those functions.