Thanks for clarifying; so in fact I am using `Int` the wrong way, and 
should normally specify whether I want Int16, Int32, Int64?

Thank you,
    Christoph

Reply via email to