hack around Double by embedding as int