export integer contracts

Signed-off-by: Jan Dvořák <mordae@anilinux.org>