とりあえず一般論は無理ということで、RealNumberとIntだけでも満たしてみますか