still refers to an integer :) either way, I think first a decision should be made on where this PR is going