type equality: int = double