Changed name! + Work on big integers and type constraints