Explicitly cast positions to int.