added Int for other platforms